Ludovic Henrio: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Survey of Active Object Languages

Boer, Frank De, Fernandez-Reyes, Kiko, Yang, Albert Mingkun, Serbanescu, Vlad, Hähnle, Reiner, Henrio, Ludovic, Rochas, Justine, Din, Crystal Chang, Johnsen, Einar Broch, Sirjani, Marjan, Khamespanah,

Journal:

ACM Computing Surveys

Year:

2017

Language:

english

File:

PDF, 1.65 MB

english, 2017

2

Programming distributed and adaptable autonomous components-the GCM/ProActive framework

Baude, Françoise, Henrio, Ludovic, Ruz, Cristian

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 2.82 MB

english, 2015

3

Preface for the special issue on Interaction and Concurrency Experience 2016

Bartoletti, Massimo, Henrio, Ludovic, Knight, Sophia, Torres Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 132 KB

english, 2018

4

Unifying Architectural and Behavioural Specifications of Distributed Components

Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

5

Functional Active Objects: Typing and Formalisation

Ludovic Henrio, Florian Kammüller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

6

Transparent First-class Futures and Distributed Components

Antonio Cansado, Ludovic Henrio, Eric Madelaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

7

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL

Ludovic Henrio, Muhammad Uzair Khan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

8

An integrated development environment for Java Card

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Journal:

Computer Networks

Year:

2001

Language:

english

File:

PDF, 517 KB

english, 2001

9

GCM: a grid extension to Fractal for autonomous distributed components

Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio, Christian Pérez

Journal:

annals of telecommunications - annales des télécommunications

Year:

2009

Language:

english

File:

PDF, 547 KB

english, 2009

10

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine

Journal:

annals of telecommunications - annales des télécommunications

Year:

2009

Language:

english

File:

PDF, 1.22 MB

english, 2009

11

Secured Information Flow for Asynchronous Sequential Processes

Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 422 KB

english, 2007

12

Verification of Distributed Hierarchical Components

Tomás Barros, Ludovic Henrio, Eric Madelaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

13

Asynchronous sequential processes

Denis Caromel, Ludovic Henrio, Bernard Paul Serpette

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 1.66 MB

english, 2009

14

ASPfun : A typed functional active object calculus

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 594 KB

english, 2012

15

Bringing Coq into the World of GCM Distributed Applications

Gaspar, Nuno, Henrio, Ludovic, Madelaine, Eric

Journal:

International Journal of Parallel Programming

Year:

2014

Language:

english

File:

PDF, 596 KB

english, 2014

16

[IEEE 2006 3rd International IEEE Conference Intelligent Systems - London, UK (2006.09.4-2006.09.6)] 2006 3rd International IEEE Conference Intelligent Systems - Specilfication and Verilfication of Rleconfiguration Protocols in Grid Comnponent Systemns

Basso, Alessandro, Boltov, Alexander, Basukoski, Artie, Getov, Vladimir, Henrio, Ludovic, Urbanski, Mariusz

Year:

2006

Language:

english

File:

PDF, 7.25 MB

english, 2006

17

[IEEE 2006 Second IEEE International Conference on e-Science and Grid Computing (e-Science'06) - Amsterdam, The Netherlands (2006.12.4-2006.12.4)] 2006 Second IEEE International Conference on e-Science and Grid Computing (e-Science'06) - A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance.

Bezzine, Sebastien, Galtier, Virginie, Vialle, Stephane, Baude, Francoise, Bossy, Mireille, Doan, Viet, Henrio, Ludovic

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

18

[IEEE 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008) - Toulouse, France (2008.02.13-2008.02.15)] 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008) - Type Safe Algorithmic Skeletons

Caromel, Denis, Henrio, Ludovic, Leyton, Mario

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

19

[IEEE Seventh IEEE International Symposium on Cluster Computing and the Grid - Rio de Janeiro, Brazil (2007.05.14-2007.05.17)] Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07) - Collective Interfaces for Distributed Components

Baude, Francoise, Caromel, Denis, Henrio, Ludovic, Morel, Matthieu

Year:

2007

Language:

english

File:

PDF, 2.20 MB

english, 2007

20

[IEEE 2011 10th International Symposium on Parallel and Distributed Computing (ISPDC) - Cluj-Napoca, Romania (2011.07.6-2011.07.8)] 2011 10th International Symposium on Parallel and Distributed Computing - Adapting Active Objects to Multicore Architectures

Henrio, Ludovic, Huet, Fabrice, Istv´n, Zsolt, Sebestyen, Gheorghe

Year:

2011

Language:

english

File:

PDF, 249 KB

english, 2011

21

[IEEE 2009 Fifth International Conference on Autonomic and Autonomous Systems - Valencia, Spain (2009.04.20-2009.04.25)] 2009 Fifth International Conference on Autonomic and Autonomous Systems - Structural Reconfiguration: An Autonomic Strategy for GCM Components

Baude, Françoise, Henrio, Ludovic, Naoumenko, Paul

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

22

[ACM Press the 2009 ESEC/FSE workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime - SINTER '09 - A reconfiguration framework for distributed components

Bennour, Boutheina, Henrio, Ludovic, Rivera, Marcela

Year:

2009

Language:

english

File:

PDF, 405 KB

english, 2009

23

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Declarative scheduling for active objects

Henrio, Ludovic, Rochas, Justine

Year:

2014

Language:

english

File:

PDF, 562 KB

english, 2014

24

[ACM Press the 12th ACM SIGPLAN symposium - San Jose, California, USA (2007.03.14-2007.03.17)] Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07 - Promised messages

Baudé, Françoise, Caromel, Denis, Delbé, Christian, Henrio, Ludovic

Year:

2007

Language:

english

File:

PDF, 66 KB

english, 2007

25

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Asynchronous and deterministic objects

Caromel, Denis, Henrio, Ludovic, Serpette, Bernard Paul

Year:

2004

Language:

english

File:

PDF, 199 KB

english, 2004

26

Asynchronous and deterministic objects

Caromel, Denis, Henrio, Ludovic, Serpette, Bernard Paul

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 199 KB

english, 2004

27

Reconfigurable Applications Using GCMScript

Ibanez, Matias, Ruz, Cristian, Henrio, Ludovic, Bustos-Jimenez, Javier

Journal:

IEEE Cloud Computing

Year:

2016

Language:

english

File:

PDF, 453 KB

english, 2016

28

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Actors may synchronize, safely!

Giachino, Elena, Henrio, Ludovic, Laneve, Cosimo, Mastandrea, Vincenzo

Year:

2016

Language:

english

File:

PDF, 763 KB

english, 2016

29

[ACM Press the 2017 Symposium - Santa Clara, California (2017.09.24-2017.09.27)] Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17 - Trustable virtual machine scheduling in a cloud

Hermenier, Fabien, Henrio, Ludovic

Year:

2017

Language:

english

File:

PDF, 590 KB

english, 2017

30

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Henrio, Ludovic, Kessler, Christoph, Li, Lu

Year:

2018

Language:

english

File:

PDF, 218 KB

english, 2018